ede.texi typo fixes
authorGlenn Morris <rgm@gnu.org>
Mon, 4 Feb 2013 03:07:26 +0000 (19:07 -0800)
committerGlenn Morris <rgm@gnu.org>
Mon, 4 Feb 2013 03:07:26 +0000 (19:07 -0800)
commit0f216183e20329a4d69c34e189481abe238588ab
tree7f9b3ac3a28e727fdba95c5335393ea0fe87b4a5
parentfac4412aa3ea53b017a4a6361a39c923edd564c6
ede.texi typo fixes
doc/misc/ede.texi